Software system safety

Results: 864



#Item
321Product safety / Toy industry / Toy safety / American National Standards Institute / Safety / Computing / X Window System / Software / Windows / Ethics

RTF Document

Add to Reading List

Source URL: www.legislation.act.gov.au

Language: English - Date: 2012-07-30 00:11:47
322System software / Content-control software / Internet censorship / Parental controls / Get a Mac / ESET / Computing / Norton Internet Security / Antivirus software / Internet safety / Software

Microsoft Word[removed]PCMag.doc

Add to Reading List

Source URL: www.internetsafety.com

Language: English - Date: 2011-04-27 13:01:40
323Product safety / Toy industry / Toy safety / American National Standards Institute / Safety / Computing / X Window System / Software / Windows / Ethics

Australian Capital Territory Fair Trading (Consumer Product Standards) (Corded Internal Window Coverings) Standard[removed]No 1)* Notifiable instrument NI2009–228

Add to Reading List

Source URL: www.legislation.act.gov.au

Language: English - Date: 2012-07-30 00:11:47
324Technology / Civil defense / Disaster preparedness / Electronic Arts / Entertainment Software Association / Emergency Alert System / Origin / Bushfires in Victoria / 000 Emergency / Emergency management / Public safety / Bushfires in Australia

DOC Document

Add to Reading List

Source URL: www.em.gov.au

Language: English - Date: 2015-01-30 01:09:59
325Disaster preparedness / Humanitarian aid / Occupational safety and health / Federal Emergency Management Agency / Incident Command System / National Response Framework / Emergency / Emergency management software / EDXL / Public safety / Emergency management / Management

Speaking as one: The joint provision of public information in emergencies Anne Leadbeater, of the Office of the Emergency Services Commissioner in Victoria, highlights the critical importance of emergency services speaki

Add to Reading List

Source URL: www.em.gov.au

Language: English - Date: 2015-02-03 19:41:35
326Gernot Heiser / L4 microkernel family / Formal verification / Real-time operating systems / Kernel / Computer security / Integrity / Mach / Ring / Computer architecture / Trusted computing base / Microkernel

seL4 for Dependable Systems Software Developing dependable systems requires built-in security and safety at all levels of the system, including in the lowest-level system software: the operating system and device access

Add to Reading List

Source URL: sel4.systems

Language: English - Date: 2014-09-23 22:58:53
327Programming language theory / Subtype polymorphism / Symbol / Type inference / Hindley–Milner / Type system / Type safety / Simply typed lambda calculus / Reference / Software engineering / Type theory / Computing

A Theory of Type Qualifiers∗ Jeffrey S. Foster [removed] Manuel F¨ ahndrich

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2005-11-12 18:17:25
328Computing / Public-key cryptography / Car safety / Data / Rollover / Electronic data interchange / Customs / Public key certificate / Electronic commerce / Transport / Key management

Australian Customs Cargo Advice Number[removed]Customs Type 3 Digital Certificate Rollover This information is intended for Type 3 digital certificate holders using EDI software to access the Integrated Cargo System (ICS

Add to Reading List

Source URL: www.cargosupport.gov.au

Language: English - Date: 2014-03-30 23:37:22
329Digital media / Content rating / Internet safety / Internet / Technology / Content-control software / Internet Content Rating Association / Semantic Web

Internet content rating system is launched in Hong Kong ****************************************************** The Government and the Hong Kong Internet Service Providers Association (HKISPA) will join hands to implement

Add to Reading List

Source URL: www.hkispa.org.hk

Language: English - Date: 2012-05-10 06:27:42
330Active fire protection / Alarms / Smoke detector / Reliability engineering / Smoke testing / Fire alarm system / Test plan / Safety / Software testing / Detectors

SSL Appraisal Specification FAS-125 Visual Smoke Detection Systems QA doc. ref.

Add to Reading List

Source URL: www.activfire.gov.au

Language: English - Date: 2007-10-31 17:10:22
UPDATE